http://identifiers.org/mgd/MGI:3054733 PTP-BL<deltaP/deltaP> Ptpn13<deltaPTP> Null/knockout MGI:3054733 targeted mutation 1, Wiljan Hendriks Ptpn13<tm1Wjh>